java -Xms10240m -Xmx10240m -jar ./root/epmc-standard.jar check --model-input-files wlan.4.prism --model-input-type prism --property-input-files wlan.props --property-input-names cost_min --translate-messages false --value-floating-point-output-native true --graphsolver-iterative-stop-criterion relative --graphsolver-iterative-tolerance 1e-6 --const COL=0
assertions-disabled
start-parsing
done-parsing
model-checking
analysing-property cost_min
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 4189 4189
build-model-states-explored 10433 6244
build-model-states-explored 16842 6409
build-model-states-explored 23728 6886
build-model-states-explored 30771 7043
build-model-states-explored 37482 6711
build-model-states-explored 43313 5831
build-model-states-explored 50024 6711
build-model-states-explored 56566 6542
build-model-states-explored 62950 6384
build-model-states-explored 69981 7031
build-model-states-explored 77036 7055
build-model-states-explored 84101 7065
build-model-states-explored 91238 7137
build-model-states-explored 99431 8193
build-model-states-explored 107078 7647
build-model-states-explored 114937 7859
build-model-states-explored 122548 7611
build-model-states-explored 128601 6053
build-model-states-explored 135530 6929
build-model-states-explored 143230 7700
build-model-states-explored 150984 7754
build-model-states-explored 158748 7764
build-model-states-explored 166483 7735
build-model-states-explored 174246 7763
build-model-states-explored 181993 7747
build-model-states-explored 188343 6350
build-model-states-explored 196422 8079
build-model-states-explored 204499 8077
build-model-states-explored 211472 6973
build-model-states-explored 219382 7910
build-model-states-explored 227496 8114
build-model-states-explored 235719 8223
build-model-states-explored 243952 8233
build-model-states-explored 252181 8229
build-model-states-explored 260401 8220
build-model-states-explored 268491 8090
build-model-states-explored 276746 8255
build-model-states-explored 284997 8251
build-model-states-explored 293352 8355
build-model-states-explored 301748 8396
build-model-states-explored 310122 8374
build-model-states-explored 318502 8380
build-model-states-explored 326883 8381
build-model-states-explored 335203 8320
build-model-states-explored 342979 7776
build-model-done 345000 46
iterating
iterating-progress-unbounded 160 0.22727272727272727 1
iterating-progress-unbounded 339 0.11299435028248588 2
iterating-progress-unbounded 517 0.03496503496503497 3
iterating-done 560 3
model-checking-done 128
command-check-result-is 7625.0 cost_min